10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 - proceedings
- Författare
- Mark E. Stickel International Conference on Automated Deduction 1990) Kaiserslautern :
- (M.E. Stickel (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1990 | Tyskland, Berlin, New York | xvi, 688 sidor. diagr., tab. |